#include <stdio.h>

int main()
{
  /*4005fc:	a9be7bfd 	stp	x29, x30, [sp, #-32]!
  400600:	910003fd 	mov	x29, sp
  400604:	b9001fbf 	str	wzr, [x29, #28] */
	int a;

  /*400608:	14000023 	b	400694 <main+0x98>
  40060c:	90000000 	adrp	x0, 400000 <_init-0x480>
  400610:	911dc000 	add	x0, x0, #0x770
  400614:	b9401fa1 	ldr	w1, [x29, #28]
  400618:	97ffffb6 	bl	4004f0 <printf@plt>
  40061c:	b9001bbf 	str	wzr, [x29, #24]*/
	int b;

  /*400620:	14000017 	b	40067c <main+0x80>
  400624:	90000000 	adrp	x0, 400000 <_init-0x480>
  400628:	911de000 	add	x0, x0, #0x778
  40062c:	b9401ba1 	ldr	w1, [x29, #24]
  400630:	97ffffb0 	bl	4004f0 <printf@plt>
  400634:	b90017bf 	str	wzr, [x29, #20]*/	  
	int c;
	int d;

  /*400638:	1400000b 	b	400664 <main+0x68>
  40063c:	90000000 	adrp	x0, 400000 <_init-0x480>
  400640:	911e2000 	add	x0, x0, #0x788
  400644:	b94017a1 	ldr	w1, [x29, #20]
  400648:	97ffffaa 	bl	4004f0 <printf@plt>

  40064c:	b94013a0 	ldr	w0, [x29, #16]	// w0 = [x29+16]
  400650:	11000400 	add	w0, w0, #0x1	// w0 = w0+0x1
  400654:	b90013a0 	str	w0, [x29, #16]	// d = w0

  400658:	b94017a0 	ldr	w0, [x29, #20]	// c
  40065c:	11000400 	add	w0, w0, #0x1	// c++
  400660:	b90017a0 	str	w0, [x29, #20]
  400664:	b94017a0 	ldr	w0, [x29, #20]	// w0 = c
  400668:	71001c1f 	cmp	w0, #0x7
  40066c:	54fffe8d 	b.le	40063c <main+0x40>

  400670:	b9401ba0 	ldr	w0, [x29, #24]	// b
  400674:	11000400 	add	w0, w0, #0x1	// b++
  400678:	b9001ba0 	str	w0, [x29, #24]
  40067c:	b9401ba0 	ldr	w0, [x29, #24]	// w0 = b
  400680:	71001c1f 	cmp	w0, #0x7
  400684:	54fffd0d 	b.le	400624 <main+0x28>

  400688:	b9401fa0 	ldr	w0, [x29, #28]	// a
  40068c:	11000400 	add	w0, w0, #0x1	// a++
  400690:	b9001fa0 	str	w0, [x29, #28]
  400694:	b9401fa0 	ldr	w0, [x29, #28]	// w0 = a
  400698:	71001c1f 	cmp	w0, #0x7
  40069c:	54fffb8d 	b.le	40060c <main+0x10>*/
    for ( a = 0; a <= 7; a++) {
	printf("%d\n", a);

	for (b = 0; b <= 7; b++) {
		printf("%d\n", b);

		for (c = 0; c <= 7; c++) {
			printf("%d\n", c);
			d++;
		}
	}
  }

  /*4006a0:	90000000 	adrp	x0, 400000 <_init-0x480>
  4006a4:	911e6000 	add	x0, x0, #0x798
  4006a8:	b94013a1 	ldr	w1, [x29, #16]
  4006ac:	97ffff91 	bl	4004f0 <printf@plt>*/
	printf("%d\n", d);

  /*4006b0:	d503201f 	nop
  4006b4:	a8c27bfd 	ldp	x29, x30, [sp], #32
  4006b8:	d65f03c0 	ret*/
}
  